discriminated union - определение. Что такое discriminated union
Diclib.com
Словарь ChatGPT
Введите слово или словосочетание на любом языке 👆
Язык:

Перевод и анализ слов искусственным интеллектом ChatGPT

На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:

  • как употребляется слово
  • частота употребления
  • используется оно чаще в устной или письменной речи
  • варианты перевода слова
  • примеры употребления (несколько фраз с переводом)
  • этимология

Что (кто) такое discriminated union - определение

WIKIMEDIA DISAMBIGUATION PAGE
Discriminated union (disambiguation)
Найдено результатов: 5250
discriminated union         
<theory> The discriminated union of two sets A and B is A + B = (inA, a) | a in A U (inB, b)| b in B where inA and inB are arbitrary tags which specify which summand an element originates from. A type (especially an algebraic data type) might be described as a discriminated union if it is a sum type whose objects consist of a tag to say which part of the union they belong to and a value of the corresponding type. (1995-04-25)
disjoint union         
MODIFIED UNION OPERATION THAT INDEXES THE ELEMENTS ACCORDING TO WHICH SET THEY ORIGINATED IN
Disjoint unions; ⨆; ⊔
In domain theory, a union (or sum) which results in a domain without a least element.
Disjoint union         
MODIFIED UNION OPERATION THAT INDEXES THE ELEMENTS ACCORDING TO WHICH SET THEY ORIGINATED IN
Disjoint unions; ⨆; ⊔
and is the set formed from the elements of and labelled (indexed) with the name of the set from which they come. So, an element belonging to both and appears twice in the disjoint union, with two different labels.
Tagged union         
DATA STRUCTURE USED TO HOLD A VALUE THAT COULD TAKE ON SEVERAL DIFFERENT, BUT FIXED, TYPES
Variant record; United modes; Sum type; Either type; Variant type
In computer science, a tagged union, also called a variant, variant record, choice type, discriminated union, disjoint union, sum type or coproduct, is a data structure used to hold a value that could take on several different, but fixed, types. Only one of the types can be in use at any one time, and a tag field explicitly indicates which one is in use.
Union (set theory)         
  • The union of A, B, C, D, and E is everything except the white area.
  • Union of three sets:<br /><math>~A \cup B \cup C</math>
OPERATION IN SET THEORY; UNION (DENOTED BY ∪) OF A COLLECTION OF SETS IS THE SET OF ALL DISTINCT ELEMENTS IN THE COLLECTION
Union (sets); Set theoretic union; Set union; Union (mathematics); Finite union; Finite unions; ∪; Union of sets; Infinite union; Infinite unions; Set-theoretic union; Union (math); ⋃; Union sign; Set theory union; Union set theory; Nullary union
In set theory, the union (denoted by ∪) of a collection of sets is the set of all elements in the collection. It is one of the fundamental operations through which sets can be combined and related to each other.
European banking union         
  • Eurotower]], home of the [[European Central Bank]] supervisory staff
  • EU members that may accede to the treaty}}</div>
EUROPEAN POLITIC
EU banking union; EU Banking Union; European Union Banking Union; European Union banking union; Banking union (Europe); Banking Union; Single Rulebook; Single rulebook; Banking union; Banking union of the European Union; European Banking union
The banking union of the European Union is the transfer of responsibility for banking policy from the national to the EU level in several EU member states, initiated in 2012 as a response to the Eurozone crisis. The motivation for banking union was the fragility of numerous banks in the Eurozone, and the identification of vicious circle between credit conditions for these banks and the sovereign credit of their respective home countries ("bank-sovereign vicious circle").
union catalogue         
COMBINED LIBRARY CATALOG DESCRIBING THE COLLECTIONS OF A NUMBER OF LIBRARIES
Union Catalog; Union catalogue; Combined catalog
¦ noun a list of the combined holdings of several libraries.
Union catalog         
COMBINED LIBRARY CATALOG DESCRIBING THE COLLECTIONS OF A NUMBER OF LIBRARIES
Union Catalog; Union catalogue; Combined catalog
A union catalog is a combined library catalog describing the collections of a number of libraries. Union catalogs have been created in a range of media, including book format, microform, cards and more recently, networked electronic databases.
Local union         
LOCALLY BASED TRADE UNION ORGANIZATION WHICH FORMS PART OF A LARGER UNION
Union branch; Union local; Trade union local
A local union (often shortened to local), in North America,Merriam-Webster.com or union branch (known as a lodge in some unions), in the United Kingdom and other countries, is a local branch (or chapter) of a usually national trade union.
Rugby union in the Soviet Union         
  • Union of Soviet Socialist Republics
  • Russia]].
  • Krasnoyarsk
  • [[People's Commissar]] [[Anatoly Lunacharsky]] was one of the earliest advocates of the sport in the Soviet Union. By a strange coincidence, he died in [[Menton]], France, where [[William Webb Ellis]] is buried.
  • Uzbekistan]]
RUSSIAN SPORT
User:MacRusgail/Rugby union in the Soviet Union; Rugby union in the USSR; Rugby union in the U.S.S.R.
Rugby union in the Soviet Union was a moderately popular sport. It was most popular in the Georgian SSR; parts of the Russian SFSR such as Moscow and certain regions in Siberia like Krasnoyarsk; and Alma-Ata, the capital of the Kazakh SSR.

Википедия

Discriminated union

The term discriminated union may refer to:

  • Disjoint union in set theory.
  • Tagged union in computer science.